primitive
  primLevelSuc : _
